irreductible imports